Comparing formal theories of context in AI
نویسندگان
چکیده
The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and Local Models Semantics/MultiContext Systems (LMS/MCS). In this paper, we propose the first in depth comparison between these two formalizations, both from a technical and a conceptual point of view. The main technical result of this paper is the formal proof of the following facts: (i) that PLC can be embedded into a particular class of MCS, called MPLC; (ii) that MCS/LMS cannot be embedded in PLC using only lifting axioms to encode bridge rules, and (iii) that, under some important restrictions (including the hypothesis that each context has finite and homogeneous propositional languages), MCS/LMS can be embedded in PLC with generic axioms. The last part of the paper contains a comparison of the epistemological adequacy of PLC and MCS/LMS for the representation of the most important issues about contexts. 2003 Published by Elsevier B.V.
منابع مشابه
Syntax, Semantics, and Pragmatics of Contexts
The notion of context is indispensable in discussions of meaning, but the word context has often been used in conflicting senses. In logic, the first representation of context as a formal object was by the philosopher C. S. Peirce; but for nearly eighty years, his treatment was unknown outside a small group of Peirce aficionados. In the early 1980s, three new theories included related notions o...
متن کاملتحلیل فرهنگی خانۀ سلماسی تبریز بر اساس نظریۀ رپوپورت
This research attempts to study the Salmasi House –a house built in the Qajar period and its relation to the cultural context by assuming the house as a cultural expression. To this end, the theoretical framework of this research is based on Amos Rapoport’s environement behavior theories to develop a methodology for study of Persian Architecture. His three phase analytical method of dismantling...
متن کاملOntologies and Context
A representation of “context” is relevant for numerous applications in different fields, such as natural language processing, information retrieval and knowledge representation and reasoning. In artificial intelligence, attention was brought to the investigation of context by McCarthy’s criticism of an expert system that provided in some cases useless results because it did not take context int...
متن کاملComparing Strengths and Weaknesses of Learning Theories
Introduction: Medical education is changing. Therefore, teachers need to evaluate their performance and try to maximize learning. Learning theories can provide insight in this important issue. This study aimed to review the strengths and weaknesses of learning theories including behavioral, cognitive and humanistic theories. Methods: In this study, some literatures related to learning theories...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 155 شماره
صفحات -
تاریخ انتشار 2004